翻訳と辞書
Words near each other
・ "O" Is for Outlaw
・ "O"-Jung.Ban.Hap.
・ "Ode-to-Napoleon" hexachord
・ "Oh Yeah!" Live
・ "Our Contemporary" regional art exhibition (Leningrad, 1975)
・ "P" Is for Peril
・ "Pimpernel" Smith
・ "Polish death camp" controversy
・ "Pro knigi" ("About books")
・ "Prosopa" Greek Television Awards
・ "Pussy Cats" Starring the Walkmen
・ "Q" Is for Quarry
・ "R" Is for Ricochet
・ "R" The King (2016 film)
・ "Rags" Ragland
・ ! (album)
・ ! (disambiguation)
・ !!
・ !!!
・ !!! (album)
・ !!Destroy-Oh-Boy!!
・ !Action Pact!
・ !Arriba! La Pachanga
・ !Hero
・ !Hero (album)
・ !Kung language
・ !Oka Tokat
・ !PAUS3
・ !T.O.O.H.!
・ !Women Art Revolution


Dictionary Lists
翻訳と辞書 辞書検索 [ 開発暫定版 ]
スポンサード リンク

primitive permutation group : ウィキペディア英語版
primitive permutation group
In mathematics, a permutation group ''G'' acting on a set ''X'' is called primitive if ''G'' acts transitively on ''X'' and ''G'' preserves no nontrivial partition of ''X''. Otherwise, if ''G'' is transitive and ''G'' does preserve a nontrivial partition, ''G'' is called imprimitive.
This terminology was introduced by Évariste Galois in his last letter, in which he used the French term ''équation primitive'' for an equation whose Galois group is primitive.〔 Galois' last letter: http://www.galois.ihp.fr/ressources/vie-et-oeuvre-de-galois/lettres/lettre-testament〕
In the same letter he stated also the following theorem.
If ''G'' is a primitive solvable group acting on a finite set ''X'', then the order of ''X'' is a power of a prime number ''p'', ''X'' may be identified with an affine space over the finite field with ''p'' elements and ''G'' acts on ''X'' as a subgroup of the affine group.
An imprimitive permutation group is an example of an induced representation; examples include coset representations ''G''/''H'' in cases where ''H'' is not a maximal subgroup. When ''H'' is maximal, the coset representation is primitive.
If the set ''X'' is finite, its cardinality is called the "degree" of ''G''.
The numbers of primitive groups of small degree were stated by Robert Carmichael in 1937:
Note the large number of primitive groups of degree 16. As Carmichael notes, all of these groups, except for the symmetric and alternating group, are subgroups of the affine group on the 4-dimensional space over the 2-element finite field.
While primitive permutation groups are transitive by definition, not all transitive permutation groups are primitive. The requirement that a primitive group be transitive is necessary only when ''X'' is a 2-element set; otherwise, the condition that ''G'' preserves no nontrivial partition implies that ''G'' is transitive.
== Examples ==

* Consider the symmetric group S_3 acting on the set X=\ and the permutation
: \eta=\begin
1 & 2 & 3 \\
2 & 3 & 1 \end.
Both S_3 and the group generated by \eta are primitive.
* Now consider the symmetric group S_4 acting on the set \ and the permutation
: \sigma=\begin
1 & 2 & 3 & 4 \\
2 & 3 & 4 & 1 \end.
The group generated by \sigma is not primitive, since the partition (X_1, X_2) where X_1 = \ and X_2 = \ is preserved under \sigma, i.e. \sigma(X_1) = X_2 and \sigma(X_2)=X_1.
* Every transitive group of prime degree is primitive
* The symmetric group S_n acting on the set \ is primitive for every ''n'' and the alternating group A_n acting on the set \ is primitive for every ''n'' > 2.

抄文引用元・出典: フリー百科事典『 ウィキペディア(Wikipedia)
ウィキペディアで「primitive permutation group」の詳細全文を読む



スポンサード リンク
翻訳と辞書 : 翻訳のためのインターネットリソース

Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.